Twenty Years Later
نویسنده
چکیده
The first RTA conference took place in Dijon, in 1985. This year, 2005, it takes place in Nara. Nara and Dijon share a glorious past but can be considered as being “Sleeping Beauties”, after the title of a book by the Nobel price novelist yasunari Kawabata. Is RTA sleeping on its glorious past ? Back in the late 80s, many of us feared that this would soon be the case, that research in rewrite systems was deepening the gap with everyday’s computer science practice, and that we should develop rewrite-based powerful provers that would make a difference with the state of art and help address real applications such as software verification. More than ten years later this has not really happened in the way we thought it would. What has happened is that many research areas, such as programming languages, constraint solving, first-order provers, proof assistants, security theory, and verification have all been fertilized by ideas coming from term rewriting. In return, our field has been renewed by new problems and techniques coming from outside our small community. I am convinced that this will continue, and that new subject areas will join the journey. There are at least two reasons. To quote a celebrated sentence that I have read in many papers: Equations are ubiquitous in computer science. This is the first reason : we all like to use equations for modeling problems. The second is that we have developed extremely powerful, sophisticated tools to reason with equations. Many computer scientists do not know these tools. It is our responsibility to preach for their use by showing all we can do with them.
منابع مشابه
The Medical Studies Act and allied medical societies: looking back at Niven v. Siqueira twenty-five years later.
متن کامل
Summer Camps
thousand. Four years later there were about two hundred camps in existence, and five thousand boys were in the field. The number has increased steadily and rapidly in the last five years. Five years ago about ten thousand boys received the benefit of outdoor life during the summer months. During the past season, 1907, there were between four and five hundred summer camps, and about twenty-five ...
متن کاملThe Treatment of Tuberculous Pericarditis
Twenty-seven patients with clinically primary tuberculous pericarditis were treated with prolonged chemotherapy consisting of intermittent doses of streptomycin and daily doses of paraminosalicylic acid or isoniazid. Twenty-one patients did well and were symptom-free six months to three years later. Five, one of whom died, developed constrictive pericarditis. Another died of widely disseminated...
متن کاملThe Treatment of Tuberculous Pericarditis
Twenty-seven patients with clinically primary tuberculous pericarditis were treated with prolonged chemotherapy consisting of intermittent doses of streptomycin and daily doses of paraminosalicylic acid or isoniazid. Twenty-one patients did well and were symptom-free six months to three years later. Five, one of whom died, developed constrictive pericarditis. Another died of widely disseminated...
متن کاملPolynomial Approximation and ω rφ ( f , t ) Twenty Years Later
About twenty years ago the measure of smoothness ω φ (f, t) was introduced and related to the rate of polynomial approximation. In this article we survey developments about this and related concepts since that time. MSC: 41A10, 41A17, 41A25, 41A27, 41A30, 41A36, 41A40, 41A50, 41A63, 26A15, 26B35, 26B05, 42C05, 26A51, 26A33, 46E35 keywords: Moduli of smoothness, K-functionals, realization functi...
متن کامل